From 29e1b9a6aeb5708bce3dee9f9c02013de078a0dd Mon Sep 17 00:00:00 2001
From: Brion Vibber <brion@users.mediawiki.org>
Date: Mon, 17 Nov 2008 18:53:35 +0000
Subject: [PATCH] * Less verbose errors from profileinfo.php when not
 configured

---
 RELEASE-NOTES   | 1 +
 profileinfo.php | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/RELEASE-NOTES b/RELEASE-NOTES
index feb6aa1401..b9cc0cc04a 100644
--- a/RELEASE-NOTES
+++ b/RELEASE-NOTES
@@ -346,6 +346,7 @@ The following extensions are migrated into MediaWiki 1.14:
 * API siteinfo query no longer throws an exception for empty sifilter parameter.
 * Safer handling of non-MediaWiki exceptions -- now obeys our settings for
   formatting and path exposure.
+* Less verbose errors from profileinfo.php when not configured
 
 
 === API changes in 1.14 ===
diff --git a/profileinfo.php b/profileinfo.php
index cd0169e8a6..5777e295d0 100644
--- a/profileinfo.php
+++ b/profileinfo.php
@@ -5,7 +5,7 @@ $wgDBadminuser = $wgDBadminpassword = $wgDBserver = $wgDBname = $wgEnableProfile
 
 define( 'MW_NO_SETUP', 1 );
 require_once( './includes/WebStart.php' );
-require_once( './AdminSettings.php' );
+@include_once( './AdminSettings.php' );
 require_once( './includes/GlobalFunctions.php' );
 
 ?>
-- 
2.20.1